Modeling Systems of Systems as Nested Actor Systems Based on Petri Nets

نویسندگان

  • Matthias Wester-Ebbinghaus
  • Daniel Moldt
  • Simon Adameit
چکیده

Modern software systems are frequently characterized as systems of systems. Agentorientation as a software engineering paradigm exhibits a high degree of qualification for addressing many of the accompanying challenges. However, systems of systems demand for means of hierarchical/recursive decomposition that are not inherently rooted in the agent-oriented paradigm. We present a model that still relies on the actor metaphor, but shifts the focus to collective agency. We propose a universal model of a system unit that both embeds system actors and is itself embedded as a collective system actor in surrounding system units. Consequently, we can apply our model of a system unit at arbitrary levels of a system of systems and compose the overall system by means of nested actor hierarchies. (High Level) Petri nets as our modeling technique supply precise operational semantics for the functioning of these kind of systems. In addition, we offer abstraction mechanisms that allow for rather high-level or low-level views and smooth transitions between them.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling of Continuous Systems Using Modified Petri Nets

Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

Hybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time

The existing modeling methods using Petri Nets‎, ‎have been successfully applied to model and analyze dynamic systems‎. ‎However‎, ‎these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals‎, ‎systems including various subsystems and multi-mode systems‎. ‎This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem‎. ‎In ...

متن کامل

A Fuzzy Approach to Sequential Failure Analysis Using Petri nets

In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010